Books by author Shaoying Liu

Showing 1 – 20 out of 20 results

1. 

   Structured Object-Oriented Formal Language and Method

   Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.37 €

   Sale 7 %

   You save 4.26 €

   Buy
2. 

   Structured Object-Oriented Formal Language and Method

   Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.37 €

   Sale 7 %

   You save 4.26 €

   Buy
3. 

   Formal Engineering for Industrial Software Development

   Shaoying Liu | Springer, Berlin, 2010

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.37 €

   Sale 7 %

   You save 4.26 €

   Buy
4. 

   Structured Object-Oriented Formal Language and Method

   Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2015

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   41.12 €

   Sale 7 %

   You save 3.46 €

   Buy
5. 

   Software Fault Prevention, Verification, and Validation

   Yuting Chen, Hiroyuki Okamura, Shaoying Liu | Springer, Berlin, 2026

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   67.66 €

   Sale 7 %

   You save 5.63 €

   Buy
6. 

   Structured Object-Oriented Formal Language and Method

   Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2014

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.37 €

   Sale 7 %

   You save 4.26 €

   Buy
7. 

   Structured Object-Oriented Formal Language and Method

   Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.37 €

   Sale 7 %

   You save 4.26 €

   Buy
8. 

   Formal Methods and Software Engineering

   Shaoying Liu, Tom Maibaum, Keijiro Araki | Springer, Berlin, 2008

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.70 €

   Buy
9. 

   Formal Methods and Software Engineering

   Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu | Springer, Berlin, 2025

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   76.81 €

   Sale 7 %

   You save 6.46 €

   Buy
10. 

    Structured Object-Oriented Formal Language and Method

    Zhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian | Springer Nature Switzerland AG, 2019

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.27 €

    Sale 7 %

    You save 4.31 €

    Buy
11. 

    Formal Methods and Software Engineering

    Kazuhiro Ogata, Mark Lawford, Shaoying Liu | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.37 €

    Sale 7 %

    You save 4.26 €

    Buy
12. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    47.25 €

    Sale 7 %

    You save 3.94 €

    Buy
13. 

    Agile-SOFL

    Shaoying Liu | Palgrave Macmillan, 2025

    
    

    In stock at our supplier - Shipping in 8 - 11 days

    Language: English

    Binding: Paperback

    120.15 €

    Sale 9 %

    You save 12.88 €

    Buy
14. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.37 €

    Sale 7 %

    You save 4.26 €

    Buy
15. 

    Agile-SOFL

    Shaoying Liu | Springer, Berlin, 2024

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    170.03 €

    Sale 9 %

    You save 18.30 €

    Buy
16. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu, Zhenhua Duan, Ai Liu | Springer Nature B.V., 2023

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    56.60 €

    Sale 0 %

    You save 0.01 €

    Buy
17. 

    Software Fault Prevention, Verification, and Validation

    Shaoying Liu | Springer, Berlin, 2025

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    66.66 €

    Sale 7 %

    You save 5.53 €

    Buy
18. 

    Structured Object-Oriented Formal Language and Method

    Jinyun Xue, Fumiko Nagoya, Shaoying Liu | Springer Nature Switzerland AG, 2021

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Paperback

    55.70 €

    Buy
19. 

    Mathematics in Software Reliability and Quality Assurance

    Tadashi Dohi, Shaoying Liu | MDPI AG, 2022

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Hardback

    60.02 €

    Sale 17 %

    You save 13.11 €

    Buy
20. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu, Zhenhua Duan, Ai Liu | Springer, Berlin, 2023

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    56.40 €

    Sale 7 %

    You save 4.73 €

    Buy

Books are sent immediately or as soon as possible. Find out more